N. Schallhart: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 22nd International Conference - Rio de Janeiro, Brazil (2013.05.13-2013.05.17)] Proceedings of the 22nd International Conference on World Wide Web - WWW '13 Companion - Effective web scraping with OXPath

Grasso, Giovanni, Furche, Tim, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 590 KB

english, 2013

2

Runtime Verification for LTL and TLTL

Bauer, Andreas, Leucker, Martin, Schallhart, Christian

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2011

Language:

english

File:

PDF, 805 KB

english, 2011

3

OXPath: A language for scalable data extraction, automation, and crawling on the deep web

Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, Andrew Sellers

Journal:

The VLDB Journal

Year:

2013

Language:

english

File:

PDF, 2.63 MB

english, 2013

4

Understanding the ecology of wireworms and improving their control: a special issue

Michael Traugott,Nikolaus Schallhart,Karin Staudacher…

Journal:

Journal of Pest Science

Year:

2013

Language:

english

File:

PDF, 117 KB

english, 2013

5

The Formation of Highly Oxidized Multifunctional Products in the Ozonolysis of Cyclohexene

Rissanen, Matti P., Kurtén, Theo, Sipilä, Mikko, Thornton, Joel A., Kangasluoma, Juha, Sarnela, Nina, Junninen, Heikki, Jørgensen, Solvejg, Schallhart, Simon, Kajos, Maija K., Taipale, Risto, Springer

Journal:

Journal of the American Chemical Society

Year:

2014

Language:

english

File:

PDF, 308 KB

english, 2014

6

Comparing LTL Semantics for Runtime Verification

Bauer, A., Leucker, M., Schallhart, C.

Journal:

Journal of Logic and Computation

Year:

2010

Language:

english

File:

PDF, 444 KB

english, 2010

7

Temporal variation of VOC fluxes measured with PTR-TOF above a boreal forest

Schallhart, Simon, Rantala, Pekka, Kajos, Maija K., Aalto, Juho, Mammarella, Ivan, Ruuskanen, Taina M., Kulmala, Markku

Journal:

Atmospheric Chemistry and Physics

Year:

2018

Language:

english

File:

PDF, 6.64 MB

english, 2018

8

Hydrotreated Vegetable Oils, Biomass to Liquid and Fatty Acid Methyl Ester as Biogen Admixtures for Diesel Engines in Passenger Cars

Moeltner, Lukas, Konstantinoff, Lucas, Schallhart, Verena

Journal:

SAE International Journal of Fuels and Lubricants

Year:

2017

Language:

english

File:

PDF, 3.26 MB

english, 2017

9

Temporal variation of VOC fluxes measured with PTR-TOF above a boreal forest

Schallhart, Simon, Rantala, Pekka, Kajos, Maija K., Aalto, Juho, Mammarella, Ivan, Ruuskanen, Taina M., Kulmala, Markku

Journal:

Atmospheric Chemistry and Physics Discussions

Year:

2017

File:

PDF, 3.05 MB

2017

10

Don’t care in SMT: building flexible yet efficient abstraction/refinement solvers

Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2010

Language:

english

File:

PDF, 843 KB

english, 2010

11

Dispersal abilities of adult click beetles in arable land revealed by analysis of carbon stable isotopes

Nikolaus Schallhart, Corinna Wallinger, Anita Juen, Michael Traugott

Journal:

Agricultural and Forest Entomology

Year:

2009

Language:

english

File:

PDF, 276 KB

english, 2009

12

Occurrence ofAgrioteswireworms in Austrian agricultural land

Staudacher, Karin, Schallhart, Nikolaus, Pitterl, Peter, Wallinger, Corinna, Brunner, Nina, Landl, Marion, Kromp, Bernhard, Glauninger, Johann, Traugott, Michael

Journal:

Journal of Pest Science

Year:

2013

Language:

english

File:

PDF, 1.77 MB

english, 2013

13

Semi-empirical method for the conversion of spectral UV global irradiance data into actinic flux

B. Schallhart, M. Huber, M. Blumthaler

Journal:

Atmospheric Environment

Year:

2004

Language:

english

File:

PDF, 439 KB

english, 2004

14

A brief account of runtime verification

Martin Leucker, Christian Schallhart

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 170 KB

english, 2009

15

The feeding ecology of elaterid larvae in central European arable land: New perspectives based on naturally occurring stable isotopes

Michael Traugott, Nikolaus Schallhart, Rüdiger Kaufmann, Anita Juen

Journal:

Soil Biology and Biochemistry

Year:

2008

Language:

english

File:

PDF, 185 KB

english, 2008

16

Detecting ingested plant DNA in soil-living insect larvae

Karin Staudacher, Corinna Wallinger, Nikolaus Schallhart, Michael Traugott

Journal:

Soil Biology and Biochemistry

Year:

2011

Language:

english

File:

PDF, 283 KB

english, 2011

17

Stable isotope analysis reveals whether soil-living elaterid larvae move between agricultural crops

N. Schallhart, M.J. Tusch, K. Staudacher, C. Wallinger, M. Traugott

Journal:

Soil Biology and Biochemistry

Year:

2011

Language:

english

File:

PDF, 174 KB

english, 2011

18

Direct spectral measurements with a Brewer spectroradiometer: absolute calibration and aerosol optical depth retrieval

Kazadzis, Stelios, Bais, Alkiviadis, Kouremeti, Natalia, Gerasopoulos, Evangelos, Garane, Katerina, Blumthaler, Mario, Schallhart, Barbara, Cede, Alexander

Journal:

Year:

2005

Language:

english

File:

PDF, 150 KB

english, 2005

19

Detecting key parasitoids of lepidopteran pests by multiplex PCR

Michael Traugott, Petra Zangerl, Anita Juen, Nikolaus Schallhart, Lukas Pfiffner

Journal:

Biological Control

Year:

2006

Language:

english

File:

PDF, 260 KB

english, 2006

20

The effect of plant identity and the level of plant decay on molecular gut content analysis in a herbivorous soil insect

Wallinger, Corinna, Staudacher, Karin, Schallhart, Nikolaus, Peter, Eva, Dresch, Philipp, Juen, Anita, Traugott, Michael

Journal:

Molecular Ecology Resources

Year:

2013

Language:

english

File:

PDF, 307 KB

english, 2013

21

Proactive Detection of Computer Worms Using Model Checking

Kinder, Johannes, Katzenbeisser, Stefan, Schallhart, Christian, Veith, Helmut

Journal:

IEEE Transactions on Dependable and Secure Computing

Year:

2010

Language:

english

File:

PDF, 3.26 MB

english, 2010

22

[Lecture Notes in Computer Science] Big Data Volume 7968 || Compilation and Synthesis in Big Data Analytics

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 50 KB

english, 2013

23

[Lecture Notes in Computer Science] Big Data Volume 7968 ||

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 8.02 MB

english, 2013

24

The ontological key: automatically understanding and integrating forms to access the deep Web

Furche, Tim, Gottlob, Georg, Grasso, Giovanni, Guo, Xiaonan, Orsi, Giorgio, Schallhart, Christian

Journal:

The VLDB Journal

Year:

2013

Language:

english

File:

PDF, 1.82 MB

english, 2013

25

[Lecture Notes in Computer Science] Big Data Volume 7968 || Big Data Begets Big Database Theory

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 123 KB

english, 2013

26

[Lecture Notes in Computer Science] Big Data Volume 7968 || The Providence of Provenance

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 112 KB

english, 2013

27

[Lecture Notes in Computer Science] Big Data Volume 7968 || Querying Big Social Data

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 272 KB

english, 2013

28

[Lecture Notes in Computer Science] Big Data Volume 7968 || Database Research Challenges and Opportunities of Big Graph Data

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 90 KB

english, 2013

29

[Lecture Notes in Computer Science] Big Data Volume 7968 || Representing MapReduce Optimisations in the Nested Relational Calculus

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 207 KB

english, 2013

30

[ACM Press the 21st international conference companion - Lyon, France (2012.04.16-2012.04.20)] Proceedings of the 21st international conference companion on World Wide Web - WWW '12 Companion - DIADEM

Furche, Tim, Wang, Cheng, Gottlob, Georg, Grasso, Giovanni, Gunes, Omer, Guo, Xiaoanan, Kravchenko, Andrey, Orsi, Giorgio, Schallhart, Christian, Sellers, Andrew

Year:

2012

Language:

english

File:

PDF, 2.47 MB

english, 2012

31

Effects of plant identity and diversity on the dietary choice of a soil-living insect herbivore

Schallhart, Nikolaus, Tusch, Manuel Josef, Wallinger, Corinna, Staudacher, Karin, Traugott, Michael

Journal:

Year:

2012

Language:

english

File:

PDF, 478 KB

english, 2012

32

On-line breath analysis with PTR-TOF

Herbig, Jens, Müller, Markus, Schallhart, Simon, Titzmann, Thorsten, Graus, Martin, Hansel, Armin

Journal:

Journal of Breath Research

Year:

2009

Language:

english

File:

PDF, 317 KB

english, 2009

33

Comparison of atmospheric spectral radiance measurements from five independently calibrated systems

Pissulla, D., Seckmeyer, G., Cordero, R. R., Blumthaler, M., Schallhart, B., Webb, A., Kift, R., Smedley, A., Bais, A. F., Kouremeti, N., Cede, A., Herman, J., Kowalewski, M.

Journal:

Photochemical & Photobiological Sciences

Year:

2009

Language:

english

File:

PDF, 590 KB

english, 2009

34

Phase gate for a photonic quantum network

Schallhart, Barbara, Gheri, Klaus M.

Journal:

Journal of Modern Optics

Year:

2000

Language:

english

File:

PDF, 603 KB

english, 2000

35

How generalist herbivores exploit belowground plant diversity in temperate grasslands

Wallinger, Corinna, Staudacher, Karin, Schallhart, Nikolaus, Mitterrutzner, Evi, Steiner, Eva-Maria, Juen, Anita, Traugott, Michael

Journal:

Molecular Ecology

Year:

2014

Language:

english

File:

PDF, 409 KB

english, 2014

36

[IEEE Australian Software Engineering Conference (ASWEC'06) - Sydney, NSW, Australia (2006.04.18-2006.04.21)] Australian Software Engineering Conference (ASWEC'06) - Model-based runtime analysis of distributed reactive systems

Bauer, A., Leucker, M., Schallhart, C.

Year:

2006

Language:

english

File:

PDF, 318 KB

english, 2006

37

[Lecture Notes in Computer Science] Big Data Volume 7968 || Bisimulation Reduction of Big Graphs on MapReduce

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 430 KB

english, 2013

38

Approximating Succinct MaxSat

Journal:

Journal of Logic and Computation

Year:

2005

Language:

english

File:

PDF, 95 KB

english, 2005

39

Phase gate for a photonic quantum network

Schallhart, Barbara, Gheri, Klaus M.

Journal:

Journal of Modern Optics

Year:

2000

Language:

english

File:

PDF, 322 KB

english, 2000

40

Spectral UV Measurements of Global Irradiance, Solar Radiance, and Actinic Flux in New Zealand: Intercomparison between Instruments and Model Calculations

Blumthaler, Mario, Schallhart, Barbara, Schwarzmann, Michael, McKenzie, Richard, Johnston, Paul, Kotkamp, Michael, Shiona, Hisako

Journal:

Journal of Atmospheric and Oceanic Technology

Year:

2008

Language:

english

File:

PDF, 1.22 MB

english, 2008

41

Verification across Intellectual Property Boundaries

Chaki, Sagar, Schallhart, Christian, Veith, Helmut

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 1.06 MB

english, 2013

42

Semantic integrity in large-scale online simulations

Jha, Somesh, Katzenbeisser, Stefan, Schallhart, Christian, Veith, Helmut, Chenney, Stephen

Journal:

ACM Transactions on Internet Technology

Year:

2010

Language:

english

File:

PDF, 449 KB

english, 2010

43

[ACM Press the 14th International Conference - Uppsala, Sweden (2011.03.21-2011.03.24)] Proceedings of the 14th International Conference on Extending Database Technology - EDBT/ICDT '11 - Taking the OXPath down the deep web

Sellers, Andrew, Furche, Tim, Gottlob, Georg, Grasso, Giovanni, Schallhart, Christian

Year:

2011

Language:

english

File:

PDF, 773 KB

english, 2011

44

[ACM Press the 21st international conference companion - Lyon, France (2012.04.16-2012.04.20)] Proceedings of the 21st international conference companion on World Wide Web - WWW '12 Companion - Visual oXPath

Kranzdorf, Jochen, Sellers, Andrew, Grasso, Giovanni, Schallhart, Christian, Furche, Tim

Year:

2012

Language:

english

File:

PDF, 956 KB

english, 2012

45

[ACM Press the 21st international conference - Lyon, France (2012.04.16-2012.04.20)] Proceedings of the 21st international conference on World Wide Web - WWW '12 - OPAL

Furche, Tim, Gottlob, Georg, Grasso, Giovanni, Guo, Xiaonan, Orsi, Giorgio, Schallhart, Christian

Year:

2012

Language:

english

File:

PDF, 898 KB

english, 2012

46

[ACM Press the 21st international conference companion - Lyon, France (2012.04.16-2012.04.20)] Proceedings of the 21st international conference companion on World Wide Web - WWW '12 Companion - Automatically learning gazetteers from the deep web

Furche, Tim, Grasso, Giovanni, Orsi, Giorgio, Schallhart, Christian, Wang, Cheng

Year:

2012

Language:

english

File:

PDF, 1.16 MB

english, 2012

47

[ACM Press the 20th international conference companion - Hyderabad, India (2011.03.28-2011.04.01)] Proceedings of the 20th international conference companion on World wide web - WWW '11 - OXPath

Sellers, Andrew Jon, Furche, Tim, Gottlob, Georg, Grasso, Giovanni, Schallhart, Christian

Year:

2011

Language:

english

File:

PDF, 1.01 MB

english, 2011

48

[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - How did you specify your test suite

Holzer, Andreas, Tautschnig, Michael, Veith, Helmut, Schallhart, Christian

Year:

2010

Language:

english

File:

PDF, 401 KB

english, 2010

49

[ACM Press the 21st international conference companion - Lyon, France (2012.04.16-2012.04.20)] Proceedings of the 21st international conference companion on World Wide Web - WWW '12 Companion - OPAL

Guo, Xiaonan, Kranzdorf, Jochen, Furche, Tim, Grasso, Giovanni, Orsi, Giorgio, Schallhart, Christian

Year:

2012

Language:

english

File:

PDF, 627 KB

english, 2012

50

Closure properties and complexity of rational sets of regular languages

Holzer, Andreas, Schallhart, Christian, Tautschnig, Michael, Veith, Helmut

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 581 KB

english, 2015